781. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
Author: sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
Classification :
QA
76
.
642
.
A43
1997
782. The theory of evolution strategies
پدیدآورنده : Hans-Georg Beyer
موضوع : Evolutionary programming (Computer science),Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
783. The theory of evolution strategies
Author: by Hans-Georg Beyer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Evolutionary programming (Computer science)
784. Topics in Industrial Mathematics
Author: by Helmut Neunzert, Abul Hasan Siddiqi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science-- Mathematics.,Electronic data processing.,Mathematical optimization.,Mathematics.
785. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
786. Understanding complex datasets
Author: / David Skillicorn
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Data mining.,Data structures (Computer science),Computer algorithms.,Matrices.,Decomposition (Mathematics)
787. Understanding complex datasets : data mining with matrix decompositions
Author: Skillicorn, David B.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Data mining ► Data structures (Computer science) ► Computer algorithms
Classification :
005
S628u
788. Understanding complex datasets :data mining with matrix decompositions
Author: Skillicorn, David B.
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Data mining,، Data structures )Computer science(,، Computer algorithms
Classification :
QA
76
.
9
.
D343
S62
2007
789. Understanding complex datasets : data mining with matrix decompositions
Author: David Skillicorn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Data mining,، Data structures )Computer science(,، Computer algorithms
Classification :
QA
76
.
9
.
D343S57
790. Understanding complex datasets data mining with matrix decompositions
Author: David Skillicorn
Library: Vali Asr University Central Library (Kerman)
Subject: Data mining,Data structures )Computer science(,Computer algorithms
Classification :
QA
76
.
9
.
D343S62
2007
791. Variants of evolutionary algorithms for real-world applications
Author: Raymond Chiong, Thomas Weise, and Zbigniew Michalewicz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation,Evolutionary programming (Computer science),Genetic algorithms
Classification :
QA402
.
5
.
V37
2012eb
792. Vector game math processors
Author: James Leiterman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
Classification :
QA76
.
5
.
L446
2003eb
793. Verification of reactive systems
Author: / Klaus Schneider
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems- - Verification,Formal methods (computer science),Computer algorithms
Classification :
QA
76
.
76
.
V47S34
2003
794. Verification of reactive systems
Author: / Klaus Schneider
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Verification,Formal methods (computer science),Computer algorithms
Classification :
QA
76
.
76
.
V47S34
2004
795. Verification of reactive systems :
Author: Klaus Schneider.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
Classification :
QA76
.
76
.
V47
K538
2004
796. Verification of reactive systems: formal methods and algorithms
Author: Schneider, Klaus
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
Classification :
QA
76
.
76
.
V47
.
S34
2003
797. WALCOM
Author: \ [edited by] M. Sohel Rahman, Etsuji Tomita.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتمهای کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
A43W32
2015
E-Book
,
798. WALCOM
Author: Md. Saidur Rahman, Satoshi Fujita (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
Classification :
QA
،
76
.
9
،.
D35
,
W34
،
2010
799. Wireless Internet
Author: edited by Hua Qian, Kai Kang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer communication systems.,Computer science.
